Representation Theorems for Quantales
نویسنده
چکیده
In this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relations on Q. As a consequence two isomorphism theorems are also shown with suitable sets of functions of Q into Q. These theorems are the mathematical background one needs in order to give natural and complete semantics for (non-commutative) Linear Logic using relations. 1991 Mathematics Subject Classification. 06D05, 06D10, 06D20..
منابع مشابه
Automated Higher-order Reasoning in Quantales
We present an approach to bring reasoning in quantales into the realm of automated theorem proving. We use the TPTP Problem Library for this purpose which by a recent approach now integrates fully automated higher-order theorem provers. In particular, we give an encoding of quantales in the new typed higher-order form and show how to prove theorems about quantales fully automatically.
متن کاملUNIVERSITÄT AUGSBURG Automated Higher-Order Reasoning in Quantales
Originally developed as an algebraic characterisation for quantum mechanics, the algebraic structure of quantales nowadays finds widespread applications ranging from (non-commutative) logics to hybrid systems. We present an approach to bring reasoning in quantales into the realm of (fully) automated theorem proving. Hence the paper paves the way for automatisation in various (new) fields of app...
متن کاملTopological Relational Quantales
We introduce and present results about a class of quantales, the topological relational quantales, that can be associated with tuples (X,R) such that X is a topological space and R is a lower-semicontinuous equivalence relation on X (see Definition 1 below). Our motivating case studies and examples of topological relational quantales include concrete quantales such as the relational quantales o...
متن کاملAutomated Higher-order Reasoning about Quantales
Originally developed as an algebraic characterisation for quantum mechanics, the algebraic structure of quantales nowadays finds widespread applications ranging from (non-commutative) logics to hybrid systems. We present an approach to bring reasoning about quantales into the realm of (fully) automated theorem proving. This will yield automation in various (new) fields of applications in the fu...
متن کاملRieffel induction and strong Morita equivalence in the context of Hilbert modules
The Morita equivalence of m-regular involutive quantales in the context of the theory of Hilbert A-modules is presented. The corresponding fundamental representation theorems are shown. We also prove that two commutative m-regular involutive quantales are Morita equivalent if and only if they are isomorphic. In the paper [5] F. Borceux and E.M. Vitale made a first step in extending the theory o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Math. Log. Q.
دوره 40 شماره
صفحات -
تاریخ انتشار 1994